大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

0
索取号：
作者：Lee、 Mong Li.、Yu、 Jeffrey Xu.、Bellahs猫ne、 Zohra.、Unland、 Rainer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Location Theory and Decision Analysis [electronic resource] : Analytics of Spatial Information Technology

0
索取号：
作者：Chan、 Yupo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Chin、 Wei-Ngan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trustworthly Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

0
索取号：
作者：Wirsing、 Martin.、Hofmann、 Martin.、Rauschmayer、 Axel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Mathematics of Knots [electronic resource] : Theory and Application

0
索取号：
作者：Banagl、 Markus.、Vogel、 Denis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Lectures on Classical and Quantum Theory of Fields [electronic resource]

0
索取号：
作者：Arod藕、 Henryk.、Hadasz、 Leszek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Settlement Calculation on High-Rise Buildings [electronic resource] : Theory and Application

0
索取号：
作者：Chen、 Xiangfu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

E-Health [electronic resource] : First IMIA/IFIP Joint Symposium, E-Health 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Takeda、 Hiroshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Recent Advances in Intrusion Detection [electronic resource] : 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings

0
索取号：
作者：Jha、 Somesh.、Sommer、 Robin.、Kreibich、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Security-ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings

0
索取号：
作者：Gritzalis、 Dimitris.、Preneel、 Bart.、Theoharidou、 Marianthi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Symmetries and Group Theory in Particle Physics [electronic resource] : An Introduction to Space-Time and Internal Symmetries

0
索取号：
作者：Costa、 Giovanni.、Fogli、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

CONCUR 2010 - Concurrency Theory [electronic resource] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

0
索取号：
作者：Gastin、 Paul.、Laroussinie、 Fran莽ois.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence in Theory and Practice III [electronic resource] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Bramer、 Max.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Forbrig、 Peter.、Patern贸、 Fabio.、Mark Pejtersen、 Annelise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Nakatsu、 Ryohei.、Tosa、 Naoko.、Naghdy、 Fazel.、Wong、 Kok Wai.、Codognet、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Distributed Computing IV [electronic resource] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010

0
索取号：
作者：Essaaidi、 Mohammad.、Malgeri、 Michele.、Badica、 Costin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.